Quelques impressions sur les exploitations forestières en URSS

Quelques applications de la propagation de contraintes sur les domaines continus en automatique

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

Quelques résultats nouveaux sur les méthodes de projection

We revisit fractional step projection methods for solving the Navier–Stokes equations. We study a variant of pressure-correction methods and introduce a new class of velocitycorrection methods. We prove stability and O(δt) convergence in the L norm of the velocity for both variants. We also prove O(δt) convergence in the H norm of the velocity and the L norm of the pressure. We show that the ne...

Cohérences basées sur les valeurs en échec

In constraint satisfaction, basic inferences rely on some properties of constraint networks, called consistencies, that allow the identification of inconsistent instantiations or nogoods. Two main families of consistencies have been introduced so far : those that permit to reason from variables such as (i, j)-consistency and those that permit to reason from constraints such as relational (i, j)...

Sur quelques problèmes d'optimisation combinatoire

Quelques aspects algorithmiques sur les systèmes de fermeture. (Some algoritmic aspects on closure systems)

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...